Modal logic - PDFSEARCH.IO - Document Search Engine

Modal logic
Results: 1643

#	Item
381	CALL FOR PAPERS Thirtieth Annual ACM/IEEE Symposium on LOGIC IN COMPUTER SCIENCE (LICSJuly 6–10, 2015, Kyoto, Japan http://lics.rwth-aachen.de/lics15/ Add to Reading List Source URL: lics.rwth-aachen.de Language: English - Date: 2015-01-16 03:22:08 Formal sciences Mathematical logic Logic in computer science IEEE Symposium on Logic in Computer Science Philosophical logic Kleene award Theoretical computer science Modal logic Description logic Logic Science Non-classical logic
382	Universit`a degli Studi “G.D’Annunzio” Dipartimento di Scienze Modal logic and navigational XPath: an experimental comparison Massimo Franceschet Add to Reading List Source URL: www.zimuel.it Language: English - Date: 2011-11-11 11:55:38 Web standards Model theory Philosophical logic Markup languages XPath Functional languages XML tree Modal logic Structure Computing Logic XML
383	i c h i r n 01 C U L T U R A I . H E R I T A G E a n d Add to Reading List Source URL: www.archimuse.com Language: English - Date: 2011-09-09 18:19:46 XML ALGOL 68 Regular expression Modal logic Computing Software engineering Technical communication
384	A Timed Logic for Modeling and Reasoning about Security Protocols★ Xinfeng Lei1 Rui Xue1 and Ting Yu2 2 Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2010-12-21 21:08:46 Philosophical logic Model theory Burrows–Abadi–Needham logic Modal logic Protocol composition logic Communications protocol Public-key cryptography First-order logic Actor model Logic Cryptography Mathematical logic
385	Modal logic and navigational XPath: an experimental comparison Massimo Franceschet1,2 and Enrico Zimuel1,2 1 Informatics Institute, University of Amsterdam, Amsterdam, The Netherlands Add to Reading List Source URL: www.zimuel.it Language: English - Date: 2011-11-11 11:55:09 World Wide Web Consortium XPath 2.0 XPath XML tree XQuery Symbol Tree XPath 1.0 XML Computing Web standards
386	Middlesex University Research Repository An open access repository of Middlesex University research http://eprints.mdx.ac.uk Berger, Martin and Tratt, LaurenceProgram logics for Add to Reading List Source URL: eprints.mdx.ac.uk Language: English - Date: 2015-04-30 10:24:49 Proof theory Logic in computer science Models of computation Curry–Howard correspondence Philosophy of computer science Type theory Lambda calculus Model theory Modal logic Logic Theoretical computer science Mathematical logic
387	Multi-scale deep learning for gesture detection and localization 1,2 Natalia Neverova Add to Reading List Source URL: www.uoguelph.ca Language: English - Date: 2014-12-09 21:23:28 Non-classical logic Philosophical logic Gesture recognition Gesture Imaging Segmentation Logic Vision Modal logic
388	Recent Work in Epistemic Logic Logic Group Colloquium Wes Holliday Philosophy UC Berkeley Add to Reading List Source URL: philosophy.berkeley.edu Language: English - Date: 2013-03-02 13:45:39 Branches of philosophy Modal logic Analytic philosophers Game theory Artificial intelligence Epistemic modal logic Jaakko Hintikka Closure Common knowledge Logic Philosophy Science
389	A Hybrid Approach for Proving Noninterference of Java Programs Ralf Küsters∗ , Tomasz Truderung∗ , Bernhard Beckert† , Daniel Bruns† , Michael Kirsten† and Martin Mohr† ∗ University of Trier, Germany Email Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2015-05-07 09:31:03 Applied mathematics Formal verification Logic in computer science KeY Abstract interpretation Modal logic Predicate transformer semantics Theoretical computer science Formal methods Logic
390	Fernanda Pratas (CLUNL-FCSH, Lisbon/ESE-IPS, Setubal) & Marleen van de Vate (ZAS, Berlin) Tense and modality in two Creole languages: Capeverdean and Saamáka Recent studies discuss the dependencies between tense and mod Add to Reading List Source URL: creolistics9.dk Language: English - Date: 2012-11-14 09:56:15 Linguistic modality Semantics Grammatical moods Auxiliary verb Modal logic Grammatical aspect Creole language Grammatical tense Modal verb Linguistics Logic Grammar

UPDATE